Reasoning About Semantic Conflicts Between Aspects
نویسندگان
چکیده
The AOP community has successfully promoted and illustrated the power and elegance of aspect-oriented programming. One of the main problems of Aspect-oriented programming is, however, the aspect interference problem. When multiple aspects are superimposed on the same join point, undesired or incorrect behavior may emerge due to the side effects of behavior of the aspects at the join point. In this paper we present a technique and a tool to detect and correct the semantic conflicts among aspects that are superimposed on the same join point.
منابع مشابه
Reasoning about Behavioral Conflicts between Aspects
Aspects have been successfully promoted as a means to improve the modularization of software in the presence of crosscutting concerns. The socalled aspect interference problem is considered to be one of the remaining challenges of aspect-oriented software development: aspects may interfere with the behavior of the base code or other aspects. Especially interference between aspects is difficult ...
متن کاملTowards a Formal Detection of Semantic Conflicts Between Aspects: A Model-Based Approach
Aspect-Oriented Programming is a new promising software engineering paradigm. Aspects are well adapted to capture crosscutting concerns. The new mechanisms introduced by this paradigm allow weaving aspects with different join points in a program. Unfortunately, this flexibility can lead to many unsuspected conflicts between aspects. Moreover, the existing aspect-oriented tools do not detect the...
متن کاملCross Organizational Data Quality and Semantic Integrity: Learning and Reasoning about Data Semantics with Context Interchange Mediation
We use a context interchange mediation approach for detecting and resolving data quality and semantic integrity conflicts in information exchanged across organizational boundaries. Context models draw on a domain ontology to explain how source and receiver data models implement general principles of the subject domain. Using the declarative knowledge from the domain ontology and context models,...
متن کاملVisual common-sense for scene understanding using perception, semantic parsing and reasoning
In this paper we explore the use of visual commonsense knowledge and other kinds of knowledge (such as domain knowledge, background knowledge, linguistic knowledge) for scene understanding. In particular, we combine visual processing with techniques from natural language understanding (especially semantic parsing), common-sense reasoning and knowledge representation and reasoning to improve vis...
متن کاملOntological Impedance in 3d Semantic Data Modeling
An impedance mismatch exists between spatial data models and spatial ontologies, between the language of geometric representations and the language of specific application domains. We call it ontological impedance. Overcoming ontological impedance is a difficult task, since various problems are involved, like the coherence between the semantic and the geometric levels, the abstraction from vari...
متن کامل